﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Infinity.Statements;

namespace Infinity.Statements.StatementFactory
{
	public class ConstraintStatement : StatementBase, IConstraintStatement
	{
		public IInvariantStatement Invariant { get; set; }

		public IPreConditionStatement PreCondition { get; set; }

		public IPostConditionStatement PostCondition { get; set; }
	}
}